From: Florian Müllner <fmuellner@gnome.org>
Date: Thu, 4 Feb 2016 17:22:27 +0000 (+0100)
Subject: extensionPrefs: Fix prefs button
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~1005
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=669d20bcf05076869a1f15525a48344e46101234;p=gnome-shell.git

extensionPrefs: Fix prefs button
---

diff --git a/js/extensionPrefs/main.js b/js/extensionPrefs/main.js
index e17a05a95..6e0968485 100644
--- a/js/extensionPrefs/main.js
+++ b/js/extensionPrefs/main.js
@@ -24,7 +24,6 @@ const GnomeShellIface = '<node> \
 </node>';
 
 const customCss = '.prefs-button { \
-                       padding: 8px; \
                        border-radius: 20px; \
                    }';